On ordered face structures and many-to-one computads
نویسنده
چکیده
We introduce the notion of an ordered face structure. The ordered face structures to many-to-one computads are like positive face structures, c.f. [Z], to positive-to-one computads. This allow us to give an explicit combinatorial description of many-to-one computads in terms of ordered face structures.
منابع مشابه
On positive face structures and positive-to-one computads
We introduce the notion of a positive face structure. The positive face structures to positive-to-one computads are like simple graphs, c.f. [MZ], to free ω-categories over ω-graphs. In particular, they allow to give an explicit combinatorial description of positive-to-one computads. Using this description we show, among other things, that positive-to-one computads form a presheaf category with...
متن کاملComputads and Multitopic Sets
We compare computads (as defined in [15], [16], [3]) with multitopic sets (cf. [5][7]). Both these kinds of structures have n-dimensional objects (called n-cells for computads and n-pasting diagrams for multitopic sets), for each natural number n. In both cases, the set of n-dimensional objects is freely generated by one of its subsets. The computads form a subclass of the more familiar collect...
متن کاملConvex $L$-lattice subgroups in $L$-ordered groups
In this paper, we have focused to study convex $L$-subgroups of an $L$-ordered group. First, we introduce the concept of a convex $L$-subgroup and a convex $L$-lattice subgroup of an $L$-ordered group and give some examples. Then we find some properties and use them to construct convex $L$-subgroup generated by a subset $S$ of an $L$-ordered group $G$ . Also, we generalize a well known result a...
متن کاملOn the Generalization of Interval Valued $left( in ,in vee q_{widetilde{k}}right) $-Fuzzy bi-Ideals in Ordered Semigroups
In this paper, we introduce a new sort of interval valued $left(in ,in vee q_{widetilde{k}}^{widetilde{delta }}right) $-fuzzy bi-ideal in ordered semigroups which is the generalization of interval valued $left( in ,in vee q_{%widetilde{k}}right) $-fuzzy bi-ideal and interval valued $left( in ,in vee qright) $-fuzzy bi-ideal of ordered semigroups. We give examples in which we show that these str...
متن کاملFurther study on $L$-fuzzy Q-convergence structures
In this paper, we discuss the equivalent conditions of pretopological and topological $L$-fuzzy Q-convergence structures and define $T_{0},~T_{1},~T_{2}$-separation axioms in $L$-fuzzy Q-convergence space. {Furthermore, $L$-ordered Q-convergence structure is introduced and its relation with $L$-fuzzy Q-convergence structure is studied in a categorical sense}.
متن کامل